Formal Verification in the Design of Gestural Interaction
نویسندگان
چکیده
منابع مشابه
Design and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملanalyzing patterns of classroom interaction in efl classrooms in iran
با به کار گیری روش گفتما ن شنا سی در تحقیق حا ضر گفتا ر میا ن آموزگا را ن و زبا ن آموزا ن در کلا سهای زبا ن انگلیسی در ایرا ن مورد بررسی قرار گرفت. ا هداف تحقیق عبا رت بودند از: الف) شنا سا ئی سا ختارهای ارتبا ط گفتا ری میا ن معلمین و زبا ن آموزا ن ب) بررسی تا ثیر نقش جنسیت دبیرا ن و زبا ن آموزان بر سا ختا رهای ارتبا ط گفتا ری میا ن آنها پ) مشخص کردن اینکه آ یا آموزگاران غا لب بر این ارتبا ط گف...
Optimising the Unexpected: Computational Design Approach in Expressive Gestural Interaction
Paste the appropriate copyright statement here. ACM now supports three different copyright statements: • ACM copyright: ACM holds the copyright on the work. This is the historical approach. • License: The author(s) retain copyright, but ACM receives an exclusive publication license. • Open Access: The author(s) wish to pay for the work to be open access. The additional fee must be paid to ACM. ...
متن کاملFormal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machine interaction and focuses on verifying the correctness of the interaction in complex and automated control systems. The paper describes a systematic methodology for evaluating whether the interface provides the necess...
متن کاملinvestigating the integration of translation technologies into translation programs in iranian universities: basis for a syllabus design in translation technology
today, information technology and computers are indispensable tools of any profession and translation technologies have become an indispensable part of translator’s workstation. with the increasing demands for high productivity and speed as well as consistency and with the rise of new demands for translation and localization, it is necessary for translators to be familiar with market demands an...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80895-8